$\forall$$i$:Id. out{-}decl\{i:l\}($i$) $\in$ Type$_{\mbox{\scriptsize i'}}$